Modellierung und Qualitätssicherung von UML-Modellen der Geschäftslogik von Informationssystemen
نویسندگان
چکیده
Der zunehmenden Komplexität von Software-Modellen, die als Parameter für Codegenerierung verwendet werden, steht der menschliche Modellierer gegenüber, dessen mögliche Modellierungsfehler sich direkt auf das generierte Systemverhalten auswirken. Der Modellierer muss je nach konkreter Aufgabe die gewünschte Sicht auf das Modell wählen können und darüber hinaus durch automatische Qualitätssicherung während der Modellierung unterstützt werden. Dieser Artikel erläutert wie die Modellierung von UML-Modellen der Geschäftslogik für Informationssysteme im Rahmen der Modellarchitektur AMABULO unterstützt wird. Dabei integriert AMABULO verschiedene Modellierungskonzepte in ein semantisches Metamodell, das durch die Abbildung auf gefärbte Petri-Netze semantisch fundiert wird. Die automatische Übersetzung der logischen Information aus UML-Modellen für Geschäftslogik in gefärbte Petri-Netze bildet die Grundlage für die Funktionen einer automatischen Qualitätssicherung.
منابع مشابه
Referenzarchitekturen und MDA
Dieser Beitrag beschreibt, wie Referenzarchitekturen die MDA nutzbar machen. Die Referenzarchitekturen liefern dabei die konzeptionelle Unterstützung für die Konstruktion und Implementierung von Software und die MDA bietet den Rahmen für eine Werkzeugunterstützung. Die praktische Umsetzbarkeit wird mit dem OpenSource Framework AndroMDA und einer Referenzarchitektur der Firma iteratec GmbH gezei...
متن کاملNutzung des Viewpoint-Konzepts zur Unterstützung kollaborativer Modellierung - Konzeption und prototypische Implementierung
In der Wirtschaftsinformatik werden Modelle zur Entwicklung von Informationssystemen eingesetzt. Trotz der inhärenten Komplexitätsreduzierung weisen diese häufig einen komplexen Charakter auf. Der wahrgenommene Nutzen durch den Modellnutzer ist daher vermindert. Dies wird intensiviert, wenn mehrere Subjekte aus unterschiedlichen Domänen bei der Modellerstellung und -nutzung im Sinne einer kolla...
متن کاملGrundsätze ordnungsmäßiger Modellvisualisierung
Das Erstellen von Modellen ist u. a. bei der Entwicklung von Informationssystemen etabliert. Hierbei ist die grafische Repräsentation von Informationsobjekten, d. h. die ein Modell grafisch konstituierenden Zeichen, ein wichtiger Aspekt. Die vorhandene und sich vermehrende Zahl von Modellierungsmethoden und durchaus konkurrierenden Notationen lässt die Erstellung von grundsätzlichen Regeln zur ...
متن کاملZur Validierung von Kompositionsstrukturen in UML mit USE
In der Softwareentwicklung rücken Modelle zunehmend in den Fokus des Entwicklungsprozesses. Dadurch steigen auch die Anforderungen an deren Qualität. Mit dem an der Universität Bremen entwickelten UML/OCL-Werkzeug USE können bereits bestimmte Qualitätsaspekte von Modellen statisch und dynamisch analysiert werden. Dieser Artikel beschreibt neue Modellierungselemente der UML 2 und zeigt, welchen ...
متن کاملKonsistenz und Vollständigkeit industrieller UML Modelle
Mit steigendem Abstraktionsniveau wächst die Menge der möglichen Interpretationen eines UML Modells. Inkonsistenzen und Unvollständigkeiten verursachen Mehrdeutigkeiten und vergrößern die Menge der möglichen Interpretationen unnötigerweise. Dies gilt es zu verhindern. Dazu haben wir eine Reihe von Regeln entwickelt und in einem Werkzeug implementiert. Industrielle Fallstudien haben gezeigt, das...
متن کامل